1. tt = ff
\\[0ex]2. if tt then 1 else 0 fi  = if ff then 1 else 0 fi 
\\[0ex]$\vdash$  False